The Temporal Logic of Reactive ...
Paperback
Published 17 Oct 2012
Save $5.58
- RRP $61.06
- $55.48
Search for "Zohar Manna"
17 results
-
$5.58off
-
$6.90off
Mathematical Theory of Computat...
Paperback
Published 01 Nov 2003Save $6.90
- RRP $32.56
- $25.66
-
The Temporal Logic of Reactive ...
Hardback
Published 18 Dec 1991- $156.35
-
$5.11off
Temporal Verification of Reacti...
Paperback
Published 22 Aug 2012Save $5.11
- RRP $122.13
- $117.02
-
$15.09off
Temporal Verification of Reacti...
Hardback
Published 04 Aug 1995Save $15.09
- RRP $122.13
- $107.04
-
$4.12off
Verification
Paperback
Published 24 Feb 2004Save $4.12
- RRP $122.13
- $118.01
-
$7.86off
The Calculus of Computation
Hardback
Published 03 Sep 2007Save $7.86
- RRP $81.42
- $73.56
-
Introduction to Mathematical Th...
Paperback
Published 01 Jan 1974 -
Lectures on the Logic of Comput...
Paperback
Published 28 Feb 1987 -
The Deductive Foundations of Co...
Hardback
Published 07 Apr 1993 -
The Logical Basis for Computer ...
Hardback
Published 30 Jun 1985 -
Mathematical Theory of Computat...
Book
Published 31 Jan 1975 -
The Logical Basis for Computer ...
Book
Published 15 Mar 1990 -
Studies in Automatic Programmin...
Book
Published 31 Jan 1978 -
The Calculus of Computation
Paperback
Published 02 Sep 2009 -
Time for Verification Theoretic...
Paperback
Published 30 Jun 2010 -
The Temporal Logic of Reactive ...
Hardback
Published 31 Jan 1992